Merge pull request #2018 from jlebon/pr/migrate-to-coreos-ci
authorOpenShift Merge Robot <openshift-merge-robot@users.noreply.github.com>
Wed, 4 Mar 2020 22:32:56 +0000 (17:32 -0500)
committerGitHub <noreply@github.com>
Wed, 4 Mar 2020 22:32:56 +0000 (17:32 -0500)
ci: migrate to new coreos-ci project


Trivial merge